Google Maps users in the US will now see the renamed 'Gulf of America'

In accordance with Google's earlier statements, it updated Google Maps to rename the Gulf of Mexico to the Gulf of America in the U.S.